python eof while reading a line